1. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
2. Abduction in Context
پدیدآورنده : by Woosuk Park,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Philosophy,Epistemology,Logic,Artificial intelligence,Cognitive psychology,Philosophy,Epistemology,Cognitive Psychology,Logic,Artificial Intelligence )incl. Robotics(
رده :
EBOOK
,
HV
A33
6626
.
2
3. Abductive cognition
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Abduction (Logic) ; Reasoning. ; Science ; Philosophy. ; Wissenschaftstheorie ; Kognitiver Prozess ; Abduktion ; Inferenz ; Kognitive Psychologie. ; swd. ; Schlussfolgern. ; swd. ; Wissenschaftstheorie. ; swd. ; Kognitiver
4. Abductive inference models for diagnostic problem-solving
پدیدآورنده : Peng, Yun
کتابخانه: (طهران)
موضوع : ، Problem solving,، Artificial intelligence,، Abduction )Logic(,، Reasoning
رده :
Q
335
.
P414
1990
5. Abductive reasoning
پدیدآورنده : Walton, Douglas N., 2491-
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : ، Abduction )Logic(,، Reasoning
رده :
BC
199
.
A26W3
6. Abductive reasoning :logical investigations into discovery and explanation
پدیدآورنده : Aliseda, Atocha.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Abduction )Logic(,، Reasoning,، Artificial intelligence
رده :
BC199
.
A26
A45
2006
7. Advanced topics in artificial intelligence :
پدیدآورنده : Norman Foo, (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Apprentissage automatique.,intelligence artificielle -- congrès.,Intelligence artificielle -- Congrès.
8. Advances in Intelligent Computing -- IPMU '94 :
پدیدآورنده : edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer software.
9. Bayesian networks for probabilistic inference and decision analysis in forensic science
پدیدآورنده : \ Franco Taroni, Alex Biedermann, Silvia Bozza, Paolo Garbolino, Colin Aitken
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Bayesian statistical decision theory -- Graphic methods,Uncertainty (Information theory)-- Graphic methods,Forensic sciences-- Graphic methods,MATHEMATICS / Probability & Statistics / General.,نظریه تصمیم گیری آماری بیزی -- روش های گرافیکی
رده :
E-Book
,
10. Character evidence :
پدیدآورنده : Douglas Walton.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Abduction (Logic),Artificial intelligence.,Examination of witnesses-- Psychological aspects.,Reputation (Law),Abduction (Logique),Audition des témoins.,Intelligence artificielle.,Réputation.,Abductie (logica),Abduction (Logic),Argumentatieleer.,Artificial intelligence.,Beoordeling.,Examination of witnesses-- Psychological aspects.,LAW-- Civil Procedure.,LAW-- Legal Services.,Persoonlijkheid.,POLITICAL SCIENCE-- Government-- Judicial Branch.,Reputation (Law),Sciences humaines.,Sciences sociales.
رده :
K2271
.
W35
2006eb
11. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
12. Computational logic and human thinking :
پدیدآورنده : Robert Kowalski
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Communication-- Philosophy,Computational intelligence,Critical thinking,Logic, Symbolic and mathematical-- Famous problems,Reasoning,Rhetoric-- Mathematics
رده :
Q342
.
K69
2011
13. Flexible query answering systems :
پدیدآورنده : Henrik L. Larsen ... ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Abfragesprache.,Datenbanksystem.,Frage-Antwort-System.
رده :
QA76
.
9
.
Q4
H467
2001
14. Flexible query answering systems :
پدیدآورنده : Henrik L. Larsen ... ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Abfragesprache.,Datenbanksystem.,Frage-Antwort-System.
15. From argument schemes to argumentative relations in the wild :
پدیدآورنده : Frans H. van Eemeren, Bart Garssen, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Reasoning.,Logic.,Reasoning.
رده :
BC177
.
F76
2020eb
16. Fundamentals of artificial intelligence research :
پدیدآورنده : Ph. Jorrand, J. Kelemen, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.
رده :
Q334
.
P456
1991
17. Handbook of defeasible reasoning and uncertainty management systems. Vol. 4, Abductive reasoning and learning
پدیدآورنده : editors, Dov M. Gabbay and Philippe Smets.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Abduction (Logic),Machine learning.,Reasoning.
18. How we reason /
پدیدآورنده : Philip N. Johnson-Laird
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Reasoning (Psychology)
رده :
BF442
.
J64
2006
19. Ignorant Cognition :
پدیدآورنده : Selene Arfini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cognitive psychology.,Ignorance (Theory of knowledge),Cognitive psychology.,Ignorance (Theory of knowledge),PHILOSOPHY-- Epistemology.
رده :
BD221
20. Logic Programming and Knowledge Representation.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
